61![Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,](https://www.pdfsearch.io/img/acea8ad8206f59b9d92e3752f0059ca1.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:45
|
---|
62![Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT](https://www.pdfsearch.io/img/0c87cbe5abf2ad1d40e3b2a75e4e114e.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 16:02:30
|
---|
63![Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor](https://www.pdfsearch.io/img/fa3065bb713e1d533a62f12f37a3e86a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-07-01 03:47:28
|
---|
64![Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak? , David Fifield† , Sadia Afroz† , Mobin Javed† Srikanth Sundaresan‡ , Vern Paxson‡† , Steven J. Murdoch- , Damon McCoy‡ o Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak? , David Fifield† , Sadia Afroz† , Mobin Javed† Srikanth Sundaresan‡ , Vern Paxson‡† , Steven J. Murdoch- , Damon McCoy‡ o](https://www.pdfsearch.io/img/2508201ce3c0f914dc4f259feb7d5340.jpg) | Add to Reading ListSource URL: sheharbano.comLanguage: English - Date: 2017-02-16 07:58:26
|
---|
65![Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c](https://www.pdfsearch.io/img/b4359ac2070d68eb1ab62478393f4671.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2017-07-19 14:45:03
|
---|
66![CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez November 16, 2016 The Board will co CLARK COUNTY BOARD OF ELECTIONS Board Members Ted A. McClenen, Chairperson Lynda Smith Max Cordle David Hartley Director Jason Baker Deputy Director Amber Lopez November 16, 2016 The Board will co](https://www.pdfsearch.io/img/585d7ea1bd952b8e2edc29d7e18e8fe4.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2017-04-21 08:14:25
|
---|
67![Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber Magnus Stenqvist Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber Magnus Stenqvist](https://www.pdfsearch.io/img/d0e5f45308c03fcf585ec86c0238262e.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2015-09-07 07:51:22
|
---|
68![Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston](https://www.pdfsearch.io/img/13f6d0f365e5630079963528c6f0b188.jpg) | Add to Reading ListSource URL: www.dcs.ed.ac.ukLanguage: English - Date: 2008-03-05 10:22:30
|
---|
69![From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex](https://www.pdfsearch.io/img/f9f8e918ca8a7a5cd6adb30efaf525be.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:18
|
---|
70![Board Members: Sue DeVoe Allen, Chairperson ▪ Lynda Smith David Hartley ▪ John Pickarski Director: Jason Baker ▪ Deputy Director: Amber Lopez March 20, 2018 The Board will hold a regular meeting on Tuesday, April 1 Board Members: Sue DeVoe Allen, Chairperson ▪ Lynda Smith David Hartley ▪ John Pickarski Director: Jason Baker ▪ Deputy Director: Amber Lopez March 20, 2018 The Board will hold a regular meeting on Tuesday, April 1](https://www.pdfsearch.io/img/b6d9f85d96f606ff452358913eade4b7.jpg) | Add to Reading ListSource URL: clark.ohioboe.com- Date: 2018-08-15 15:32:34
|
---|